translating english into predicate logic

welcome to shbcf.ru